机译:使用彩色Petri网验证智能家居通用泛型中间件
机译:扩展时间Petri网和混合Petri网:建模多实例动态混合系统
机译:通过应用面向对象培养网改善UML和Petri网的关系
机译:使用Petri网对PhysioNet网格门户服务进行无处不在的RFID医疗系统分析
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:移动同步陪替氏网:遍在系统中的协调编排方法
机译:用Flexiblemanufacturing系统和petri网控制离散事件动态系统